Group of Self-Equivalences of Sum Object

In general category, the group of self-equivalences of sum object can decompose as the product of its two subgroups under certain conditions and also several split short exact sequences are obtained. Subsequently, we apply the above results to the category of space under a space and get some results which are dual to those in fibrewise category.     

André-Quillen cohomology and rational homotopy of function spaces

We develop a simple theory of André-Quillen cohomology for commutative differential graded algebras over a field of characteristic zero. We then relate it to the homotopy groups of function spaces and spaces of homotopy self-equivalences of rational nilpotent CW-complexes. This puts certain results of Sullivan in a more conceptual framework.     

Invariants of Directed Spaces

Directed spaces are the objects of study within directed algebraic topology. They are characterised by spaces of directed paths associated to a source and a target, both elements of an underlying topological space. The algebraic topology of these path spaces and their connections are studied from a categorical perspective. In particular, we study the preorder category associated to a directed space and various “quotient” categories arising from algebraic topological functors. Furthermore, we propose and study a new notion of directed homotopy equivalence between directed spaces.      

On free semigroups of automaton transformations

It is established that the subset of freek-generated subsemigroups of the semigroup of all automaton transformations over a finite alphabet is a second category set (in the sense of the Baire category approach) in the set of allk-generated subsemigroups. A continuum series of pairs of automaton transformations each of which generates a free semigroup of rank two is indicated. A criterion is established for this semigroup to be a finite-automaton group. Translated fromMatematicheskie Zametki, Vol. 63, No. 2, pp. 248–259, February, 1998. The author wishes to express his deep gratitude to Professor V. I. Sushchans'kii for permanent help and attention to the research. This research was partially supported by the ISSEP under grant No. GSU 051341.     

On completely nonmeasurable unions

Assume that there is no quasi-measurable cardinal not greater than 2^ω . We show that for a c. c. c. σ -ideal 𝕀 with a Borel base of subsets of an uncountable Polish space, if 𝒜 is a point-finite family of subsets from 𝕀, then there is a subfamily of 𝒜 whose union is completely nonmeasurable, i.e. its intersection with every non-small Borel set does not belong to the σ -field generated by Borel sets and the ideal 𝕀. This result is a generalization of the Four Poles Theorem (see [1]) and a result from [3]. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Convergence Approach Spaces

The extension of two axioms due to Cook and Fischer to the category CAP of convergence approach spaces leads to the study of non-Archimedean approach spaces as well as two versions of regularity appropriate to CAP and related categories.     

An axiomatic approach to equivariant cohomology theories

This paper presents a translation of a theorem of Cartan into an equivariant setting. This work is largely based on the study of the homotopical algebra in the sense of Quillen of the category of simplicial objects over the category of rationalO _g-vector spaces. The application is a solution to the equivariant commutative cochain problem. This solution is slightly better than the solution obtained earlier by Triantafillou in that the transformation groupG need not be finite.     

汉语句法的分段循环分析策略

定义了汉语的分段语法，并根据自然语言的分段循环结构，提出了汉语的分段循环分析策略．它的基本思想是确定语言的一组基本范畴，其相应的句法规则段及其之间的优先关系，对于每一个句法规则段，分别依次采用改进的Ｋｉｌｂｕｒｙ算法、它的优点在于分析过程中的项目集比较小，而且避免了无用分析树的产生，从而大大提高了分析效率．     

Fusion Operators and Cocycloids in Monoidal Categories

The Yang–Baxter equation has been studied extensively in the context of monoidal categories. The fusion equation, which appears to be the Yang–Baxter equation with a term missing, has been studied mainly in the context of Hilbert spaces. This paper endeavours to place the fusion equation in an appropriate categorical setting. Tricocycloids are defined; they are new mathematical structures closely related to Hopf algebras.     

Stable Homotopy Monomorphisms

It is well known that the concept of monomorphism in a category can be defined using an appropriate pullback diagram. In the homotopy category of TOP pullbacks do not generally exist. This motivated Michael Mather to introduce another notion of homotopy pullback which does exist. The aim of this paper is to investigate the modified notion of homotopy monomorphism obtained by applying the pullback characterization using Mather's homotopy pullback. The main result of Section 1 shows that these modified homotopy monomorphisms are exactly those homotopy monomorphisms (in the usual sense) which are homotopy pullback stable, hence the terminology “stable” homotopy monomorphism. We also link these stable homotopy monomorphisms to monomorphisms and products in the track homotopy category over a fixed space. In Section 2 we answer the question: when is a (weak) fibration also a stable homotopy monomorphism? In the final section it is shown that the class of (weak) fibrations with this additional property coincides with the class of “double” (weak) fibrations. The double (weak) covering homotopy property being introduced here is a stronger version of the (W) CHP in which the final maps of the homotopies involved play the same role as the initial maps.